41. Model theory of fields
پدیدآورنده : Marker, David, 8591-
کتابخانه: (طهران)
موضوع : ، Model theory,، Algebraic fields
رده :
QA
9
.
A1L44
Vol
.
5
2006
42. Modeling, Simulation, and Optimization of Integrated Circuits
پدیدآورنده : edited by Kurt Antreich, Roland Bulirsch, Albert Gilg, Peter Rentrop.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Differential Equations.,Mathematical optimization.,Mathematics.,Numerical analysis.,Optical materials.,Systems theory.
43. Motivic integration and its interactions with model theory and non-Archimedean geometry
پدیدآورنده : edited by Raf Cluckers, Johannes Nicaise, Julien Sebag
کتابخانه: (طهران)
موضوع : ، Model theory,، Valued fields,، Analytic spaces,، Geometry, Algebraic
رده :
QA
9
.
7
.
M68
44. Motivic integration and its interactions with model theory and non-Archimedean geometry
پدیدآورنده : / edited by Raf Cluckers, Johannes Nicaise, Julien Sebag
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Model theory.,Valued fields.,Analytic spaces.,Geometry, Algebraic.
رده :
QA
,
9
.
7
,.
M68
,
2011
45. Multi-Dimensional Modal Logic
پدیدآورنده : by Maarten Marx, Yde Venema.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
46. New approaches and concepts in turbulence :
پدیدآورنده : T Dracos
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : turbulence
رده :
QA911
.
T373
1993
47. Non-archimedean tame topology and stably dominated types /
پدیدآورنده : Ehud Hrushovski, François Loeser.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Tame algebras.,MATHEMATICS-- Algebra-- Intermediate.,MATHEMATICS-- Topology.,Tame algebras.
رده :
QA251
.
5
.
H78
2016eb
48. Nonlinear processes in physics :
پدیدآورنده : A S Fokas
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : nonlinear processes,physics
رده :
QC20
.
7
.
N6
A846
1993
49. Notes on Continuum Mechanic
پدیدآورنده : / by Eduardo W. V. Chaves
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Engineering,Mechanics,Materials,Electronic books
رده :
E-BOOK
50. Numerical Methods in the Study of Critical Phenomena :
پدیدآورنده : edited by Jean Dora, Jacques Demongeot, Bernard Lacolle.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Physics.
رده :
QC173
.
4
.
C74
E358
1981
51. Physical Models and Equilibrium Methods in Programming and Economics
پدیدآورنده : by B.S. Razumikhin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical models.,Mathematics.
52. Premium Calculation in Insurance
پدیدآورنده : edited by F. de Vylder, M. Goovaerts, J. Haezendonck.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geometry, Algebraic.,Insurance premiums -- Congresses.,Mathematics.
53. Proceedings, "WASCOM 2003" :
پدیدآورنده : editors, Roberto Monaco [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Stability, Congresses.,Wave-motion, Theory of, Congresses.,SCIENCE-- Waves & Wave Mechanics.,Stability.,Wave-motion, Theory of.
رده :
QA927
.
M44
2004eb
54. Proceedings of the Fourth European Conference on Mathematics in Industry
پدیدآورنده : edited by Hansjörg Wacker, Walter Zulehner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering mathematics.,Mechanical engineering.,Systems theory.
55. Quantum bio-informatics :
پدیدآورنده : editors, L. Accardi, W. Freudenberg, M. Ohya.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bioinformatics, Congresses.,Quantum theory, Congresses.,Bioinformatics.,NATURE-- Reference.,Quantum theory.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
QH324
.
2
.
Q36
2008eb
56. Quantum information and computing /
پدیدآورنده : editors, L. Accardi, M. Ohya and N. Watanabe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Quantum computers, Congresses.,Quantum theory, Congresses.,Quantum computers.,Quantum theory.
رده :
QA76
.
889
.
Q8484
2006eb
57. Quantum theory and symmetries with Lie theory and its applications in physics.
پدیدآورنده : Vladimir Dobrev, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Lie groups, Congresses.,Quantum theory, Congresses.,Lie groups.,Mathematical physics.,Quantum physics (quantum mechanics & quantum field theory),Quantum theory.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.,Statistical physics.
رده :
QC173
.
96
58. Realization and Modelling in System Theory
پدیدآورنده : edited by M. A. Kaashoek, J. H. Schuppen, A. C. M. Ran.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Science (General).
59. Recent Trends in Nonlinear Analysis
پدیدآورنده : edited by Jürgen Appell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.
